Intermediate Syllogisms in Fuzzy Natural Logic
نویسندگان
چکیده
The goal of this paper is twofold: first, we give overview of the results of one part of the Fuzzy Natural Logic — the formal theory of intermediate quantifiers and syllogisms based on them. We present 105 valid basic syllogisms and show that for the proof of validity of all of them, we need to prove validity of only few of them so that validity of the other ones immediately follows. In the second part of the paper, we focused on conditions under which non-trivial intermediate syllogisms are valid. The latter are syllogisms which contain two or even three general intermediate quantifiers (not equal to any of ∀ or ∃).
منابع مشابه
An algebraic study of Peterson's Intermediate Syllogisms
Peterson’s Intermediate Syllogisms, generalizing Aristotelian syllogisms by intermediate quantifiers ‘Many’, ‘Most’ and ‘Almost all’, are studied. It is demonstrated that, by associating certain values V, W and U on standard Lukasiewicz MV–algebra with the first and second premise and the conclusion, respectively, the validity of a corresponding intermediate syllogism is determined by a simple ...
متن کاملA formal theory of generalized intermediate syllogisms
This paper is a continuation of the formal theory of intermediate quantifiers (expressions such as most, few, almost all, a lot of, many, a great deal of, a large part of, a small part of ) introduced by Novák in [12]. The theory is a fuzzy-logic formalization of the concept introduced by Peterson in his book [17]. In this paper, we syntactically prove that 105 generalized Aristotle’s syllogism...
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملThe analysis of the generalized square of opposition
In this paper, we continue the development of a formal theory of intermediate quantifiers (linguistic expressions such as “most”, “many”, “few”, “almost all”, etc.). In previous work, we demonstrated that 105 generalized syllogisms are valid in our theory. We turn our attention to another problem which is the analysis of the generalized Aristotelian square of opposition which, besides the class...
متن کاملDynamic Reasoning with Qualified Syllogisms
A gualij%e~ syllogism is a classical Aristoteiean syllogism that has been “qualified” through the use of fuzzy quantifiers, likelihood modifiers, and usuality modifiers, e.g., “Most birds can Ry; Tweety is a bird; therefore, it is likely that Tweety can fly.” This paper introduces a formal logic Q of such syllogisms and shows how this may be employed in a system of nonmonotonj~ reasoning. In pr...
متن کامل